Wyniki
-
On Axiomatic Products of PDL and S5: Substitution, Tests and Knowledge
Renate A. Schmidt, Dmitry Tishkovsky
Bulletin of the Section of Logic , 31 /1 (2002) s. 27-36
Renate A. Schmidt,
Dmitry Tishkovsky
Bulletin of the Section of Logic
, 31
/1
(2002)
s. 27-36